Joost-Pieter Katoen: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (29)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Foundations of Probabilistic Programming

Foundations of Probabilistic Programming

Cambridge University Press

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

Рік:

2021

Мова:

english

Файл:

PDF, 4.12 MB

5.0 / 5.0

english, 2021

2

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Рік:

2008

Мова:

english

Файл:

PDF, 17.08 MB

0 / 5.0

english, 2008

3

Foundations of probabilistic programming

Foundations of probabilistic programming

Cambridge University Press

Alexandra Silva, Joost-Pieter Katoen, Gilles Barthe (eds.)

Рік:

2021

Мова:

english

Файл:

PDF, 4.32 MB

0 / 5.0

english, 2021

4

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

Рік:

2008

Мова:

english

Файл:

PDF, 5.15 MB

0 / 5.0

english, 2008

5

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

Рік:

2008

Мова:

english

Файл:

PDF, 4.40 MB

0 / 5.0

english, 2008

6

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Рік:

2005

Мова:

english

Файл:

PDF, 5.87 MB

0 / 0

english, 2005

7

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Springer International Publishing

Nan Guan, Joost-Pieter Katoen, Jun Sun

Рік:

2019

Мова:

english

Файл:

PDF, 9.78 MB

0 / 0

english, 2019

8

Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research

Springer-Verlag Berlin Heidelberg

Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 5.22 MB

0 / 0

english, 2004

9

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Jean-François Raskin, P. S. Thiagarajan (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 4.28 MB

0 / 0

english, 2007

10

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Springer International Publishing

Joost-Pieter Katoen, Rom Langerak, Arend Rensink

Рік:

2017

Мова:

english

Файл:

PDF, 18.69 MB

0 / 0

english, 2017

11

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 5.82 MB

0 / 0

english, 2011

12

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Рік:

2005

Мова:

english

Файл:

PDF, 5.87 MB

0 / 0

english, 2005

13

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 3.81 MB

0 / 5.0

english, 2011

14

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Рік:

2005

Мова:

english

Файл:

FB2 , 3.18 MB

0 / 0

english, 2005

15

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Рік:

2005

Мова:

english

Файл:

TXT, 1.63 MB

0 / 0

english, 2005

16

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Рік:

2005

Мова:

english

Файл:

MOBI , 1.81 MB

0 / 0

english, 2005

17

Principles of Model Checking (Instructor Solution Manual, Solutions)

Principles of Model Checking (Instructor Solution Manual, Solutions)

Christel Baier, Joost-Pieter Katoen

Рік:

2008

Мова:

english

Файл:

PDF, 1005 KB

0 / 5.0

english, 2008

18

The MIT Press Principles of Model Checking

The MIT Press Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Рік:

2008

Мова:

english

Файл:

PDF, 17.06 MB

0 / 0

english, 2008

19

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Рік:

2005

Мова:

english

Файл:

PDF, 5.92 MB

0 / 0

english, 2005

20

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Michael R. Lowry (auth.), Joost-Pieter Katoen, Perdita Stevens (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 3.37 MB

0 / 0

english, 2002

21

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Bengt Jonsson, Wang Yi (auth.), Joost-Pieter Katoen (eds.)

Рік:

1999

Мова:

english

Файл:

PDF, 3.58 MB

0 / 0

english, 1999

22

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 3.80 MB

5.0 / 5.0

english, 2001

23

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Farhad Arbab, Marjan Sirjani (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 4.66 MB

0 / 0

english, 2012

24

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 3.65 MB

0 / 0

english, 2011

25

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 6.08 MB

5.0 / 3.0

english, 2001

26

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Michael R. Lowry (auth.), Joost-Pieter Katoen, Perdita Stevens (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 4.75 MB

0 / 0

english, 2002

27

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 3.64 MB

0 / 0

english, 2011

28

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Farhad Arbab, Marjan Sirjani (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 7.77 MB

0 / 0

english, 2012

29

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 6.16 MB

0 / 0

english, 2011